Abstract deduction and inferential models for type theory
نویسندگان
چکیده
Deduction and Inferential Models for Type Theory Paolo Gentilini, Maurizio Martelli ANSAS Liguria, Via Assarotti 15, Genova, Italy
منابع مشابه
Inferential Theory of Learning and Inductive Databases
ion Concretion Association Disassociation Similization Dissimilization Selection Generation Agglomeration Decomposition Characterization Discrimination DEDUCTION INDUCTION Transmutation Inference Type
متن کاملMeaning and Dialogue Coherence: A Proof-theoretic Investigation
This paper presents a novel proof-theoretic account of dialogue coherence. It focuses on an abstract class of cooperative information-oriented dialogues and describes how their structure can be accounted for in terms of a multi-agent hybrid inference system that combines natural deduction with information transfer and observation. We show how certain dialogue structures arise out of the interpl...
متن کاملMeaningful conversation with mobile robots
We describe an implementation integrating a complete spoken dialogue system with a mobile robot, which a human can direct to specific locations, ask for information about its status and supply information about its environment. The robot uses an internal map for navigation, and communicates its current orientation and accessible locations to the dialogue system using a topological map as interf...
متن کاملTOWARD A UNIFIED THEORY OF LEARNING: An Outline of Basic Ideas
Initial results toward developing a unifying conceptual framework for characterizing diverse learning strategies and paradigms are presented. We outline the inferential theory of learning that aims at understanding competence aspects of learning processes, in contrast to computational theory that is concerned with complexity aspects. The theory views learning as a goal-oriented process of creat...
متن کاملINFERENTIAL THEORY OF LEARNING: Developing Foundations for Multistrategy Learning
The development of multistrategy learning systems should be based on a clear understanding of the roles and the applicability conditions of different learning strategies. To this end, this chapter introduces the Inferential Theory of Learning that provides a conceptual framework for explaining logical capabilities of learning strategies, i.e., their competence. Viewing learning as a process of ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید
ثبت ناماگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید
ورودعنوان ژورنال:
- Inf. Comput.
دوره 208 شماره
صفحات -
تاریخ انتشار 2010